-
1 resolvable predicate
Большой англо-русский и русско-английский словарь > resolvable predicate
-
2 resolvable predicate
-
3 resolvable predicate
Математика: отобразимый предикат, разрешимый предикат -
4 resolvable predicate
English-Russian electronics dictionary > resolvable predicate
-
5 resolvable predicate
The New English-Russian Dictionary of Radio-electronics > resolvable predicate
-
6 resolvable predicate
логикаEnglish-Russian scientific dictionary > resolvable predicate
-
7 resolvable
1) разрешимый
2) растворимый
3) отобразимый ∙ affine resolvable configuration ≈ афинно разрешимая конфигурация normally resolvable operator ≈ нормально разрешимый оператор strongly resolvable domain ≈ строго разрешимая область weakly resolvable domain ≈ слабо разрешимая область - affine resolvable - resolvable domain - resolvable predicate - resolvable set - resolvable space разрешимый (о задаче)Большой англо-русский и русско-английский словарь > resolvable
-
8 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
9 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
10 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
11 predicate
1) предикат
2) сказуемое
3) предикатный
4) утверждать
– predicate calculus
– predicate logic
– resolvable predicate
one-place predicate calculus — исчисление одноместных предикатов
-
12 resolvable
-
13 отобразимый предикат
Большой англо-русский и русско-английский словарь > отобразимый предикат
-
14 domain
1) владение, имение2) территория, зона3) физ. домен4) область, сфера5) матем. область определения6) область, домен•
См. также в других словарях:
Semiotic elements and classes of signs — C. S. Peirce articles General: Charles Sanders Peirce Charles Sanders Peirce bibliography Philosophical: Categories (Peirce) Semiotic elements and classes of signs (Peirce) Pragmatic maxim • Pragmaticism… … Wikipedia
Charles Peirce — Infobox Scientist name = Charles Peirce box width = image size = 200px caption = Charles Peirce birth date = September 10, 1839 birth place = Cambridge, Massachusetts death date = April 19, 1914 death place = residence = citizenship = nationality … Wikipedia
Charles Sanders Peirce — B … Wikipedia
History of aesthetics (pre-20th-century) — This description of the history of aesthetics before the twentieth century is based on an article from the 1911 edition of the Encyclopædia Britannica.Greek SpeculationsAncient Greece supplies us with the first important contributions to… … Wikipedia
Charles Sanders Peirce — um 1870 Charles Sanders Peirce (ausgesprochen:/ pɜrs/ wie: „purse“[1]) (* 10. September 1839 in Cambridge, Massachusetts; † 19. April 1914 in Milford, Pennsylvania) war ein … Deutsch Wikipedia